منابع مشابه
M ay 2 00 9 An example of a non adequate numeral system
Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons ...
متن کاملAn example of a non adequate numeral system
Résumé Un système numérique est défini par la donnée de trois λ-termes clos: un λ-terme normal d0 pour Zéro, un λ-terme Sd pour le Successeur, et un λ-terme pour le Test à Zéro, tels que les λ-termes (Sd i d0) sont normalisables et possèdent des formes normales differentes. Un système numérique est dit adéquat ssi il possède un λ-terme clos pour le Prédécesseur. Dans cette Note nous présentons ...
متن کاملBrownian penalisations related to excursion lengths, VII
Limiting laws, as t →∞, for Brownian motion penalised by the longest length of excursions up to t , or up to the last zero before t , or again, up to the first zero after t , are shown to exist, and are characterized. Résumé. Il est prouvé que les lois limites, lorsque t → ∞, du mouvement brownien pénalisé par la plus grande longueur des excursions jusqu’en t , ou bien jusqu’au dernier zéro ava...
متن کاملJustification of a two dimensional evolutionary Ginzburg-Landau superconductivity model
It is proved that a two dimensional evolutionary Ginzburg-Landau superconductivity model is an approximation of acorresponding thin plate three dimensional superconductivity model when the thickness of the plate uniformly approaches zero Some relatedtopics such as existence ofweak solutions to the three dimensional variable thickness model and the convergence when the variable thickness...
متن کاملMinimization of the zeroth Neumann eigenvalues with integrable potentials
For an integrable potential q on the unit interval, let λ0(q) be the zeroth Neumann eigenvalue of the Sturm–Liouville operator with the potential q. In this paper we will solve the minimization problem L̃1(r) = infq λ0(q), where potentials q have mean value zero and L1 norm r . The final result is L̃1(r)=−r/4. The approach is a combination of variational method and limiting process, with the help...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tangence
سال: 1996
ISSN: 0226-9554,1710-0305
DOI: 10.7202/025916ar